From: Florian Müllner Date: Wed, 15 Apr 2020 18:27:15 +0000 (+0200) Subject: extensions-app: Stop using :margin shortcut X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~616^2^2~611 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=3af90918a3801f825152db152c211c9cdda74e6d;p=gnome-shell.git extensions-app: Stop using :margin shortcut The property has been removed in GTK4, so prepare for a port by setting the four individual margin properties instead. Part-of: --- diff --git a/subprojects/extensions-app/data/ui/extension-row.ui b/subprojects/extensions-app/data/ui/extension-row.ui index 5aa18c4bb..ae24a75e1 100644 --- a/subprojects/extensions-app/data/ui/extension-row.ui +++ b/subprojects/extensions-app/data/ui/extension-row.ui @@ -8,7 +8,10 @@ True - 12 + 12 + 12 + 12 + 12 12 diff --git a/subprojects/extensions-app/data/ui/extensions-window.ui b/subprojects/extensions-app/data/ui/extensions-window.ui index 265182a1d..dab66aa20 100644 --- a/subprojects/extensions-app/data/ui/extensions-window.ui +++ b/subprojects/extensions-app/data/ui/extensions-window.ui @@ -19,7 +19,10 @@ True vertical - 12 + 12 + 12 + 12 + 12 6 @@ -153,7 +156,10 @@ True vertical center - 36 + 36 + 36 + 36 + 36 12 @@ -215,7 +221,10 @@ True vertical - 32 + 32 + 32 + 32 + 32 6 center @@ -286,7 +295,10 @@ True 24 - 6 + 6 + 6 + 6 + 6 software-update-available-symbolic